Calculus of Inductive Constructions(CIC)
#Fleeting_Notes
Calculus of Inductive Constructions(CIC)
Calculus of Constructions
(CoC) + 帰納型(Inductive Type)が使えるもの
確認用
Q. Calculus of Inductive Constructions(CIC)
関連
ラムダ・キューブ
調査用
Google.icon
Calculus of Inductive Constructions(CIC)(日)
Google.icon
Calculus of inductive constructions(cic)(英)
Wikipedia.icon
Calculus of Inductive Constructions - Wikipedia(日)
Calculus of Inductive Constructions(検索) - Wikipedia(日)
Wikipedia.icon
Calculus of inductive constructions - Wikipedia(英)
Calculus of inductive constructions(検索) - Wikipedia(英)